نامساوی های مینیمال برای کاهش نامتناهی برنامه ریزی اعداد صحیح

هرگاه s مجموعه نقاط درست در چند وجهی گویایی باشد، نشان میدهیم که مجموعه های محدب s-آزاد چندوجهی هستند. این نتیجه قضیه ای از لاواز که مجموعه های محدب مشبکه آزاد ماکسیمال را توصیف می کند بسط میدهد. قضیه ما پیامدهایی در برنامه ریزی اعداد صحیح دارد. به خصوص نشان میدهیم که مجموعه های محدب s-آزاد در تناظر یک به یک با نامساوی های مینیمال هستند.